package model.logic.operator;

/**
 * <tt>OpEqual</tt> is a representation of the equality operator to be used in Propositions.
 * <tt>OpEqual</tt> is symmetric.  
 * @author Marius Tempelmeier
 *
 */
public final class OpEqual implements Operator {
	/**
	 * singleton-instance. 
	 */
	private static final OpEqual THE_OPEQUAL = new OpEqual();
	
	/**
	 * string-representation of this. 
	 */
	private static final String OPERATOR_STRING_REP = " = ";
	
	private OpEqual() { }
	
	public static OpEqual getInstance() {
		return OpEqual.THE_OPEQUAL;
	}
	
	@Override
	public boolean isSymmetric() {
		return true;
	}

	@Override
	public String toString() {
		return OPERATOR_STRING_REP;
	}
}
